A Formal Criterion for Comprehensibility of Design
نویسندگان
چکیده
We believe that comprehensibility can be used as a unifying application-oriented criterion for evaluating the quality of structural design. This paper describes a formal apparatus for measuring comprehensibility of refactored design. The main contribution of this paper is a precise and formal definition for three refactoring categories, which are useful, neutral, and obscure. The categories reflect the effect of a refactoring on the comprehensibility of the resulting design. The formalisms in this paper provide the foundation for the development of a tool for measuring comprehensibility of structural design.
منابع مشابه
Design and Psychometrics of a Questionnaire for Assessing the Performance of Faculty Members in Providing Virtual Education during the Covid-19 Pandemic
Background and Purpose: Given the Covid-19 and immediate investment in providing virtual university education, it is important to measure the performance of faculty members in this area. Accordingly, this study was conducted to design and psychometrics of a questionnaire to assess the performance of faculty members in providing virtual training. Material and Methods: A descriptive study of ins...
متن کاملMeasuring the Comprehensibility of a UML-B Model and a B Model
Software maintenance, which involves making enhancements, modifications and corrections to existing software systems, consumes more than half of developer time. Specification comprehensibility plays an important role in software maintenance as it permits the understanding of the system properties more easily and quickly. The use of formal notation such as B increases a specification’s precision...
متن کاملExperimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One
The primary objective of software specification is to promote understanding of the system properties between stakeholders. Specification comprehensibility is essential particularly during software validation and maintenance as it permits the understanding of the system properties more easily and quickly prior to the required tasks. Formal notation such as B increases a specification’s precision...
متن کاملSimple, eh?
The aspect-oriented software development community has always shown great interest in language design, and simplicity is a very common criterion for the quality of such language design. However, we claim that simplicity is not so simple as it looks, and this paper proposes three different variants of simplicity in language design. Setting out from the recommended topic structure of papers for t...
متن کاملExperimental comparison of the comprehensibility of a Z specification and its implementation in Java
Comprehensibility is often raised as a problem with formal notations, yet formal methods practitioners dispute this. In a survey, one interviewee said "formal specifications are no more difficult to understand than code". Measurement of comprehension is necessarily comparative and a useful comparison for a specification is against its implementation. Practitioners have an intuitive feel for the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006